Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
51	From image descriptions to visual denotations: New similarity metrics for semantic inference over event descriptions Peter Young Alice Lai Micah Hodosh Julia Hockenmaier Department of Computer Science University of Illin Add to Reading List Source URL: shannon.cs.illinois.edu Language: English - Date: 2014-01-20 18:45:26 Semantics Computational linguistics Linguistics Logic Language Natural language processing Semiotics Meaning SemEval Distributional semantics Denotation Code
52	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation
53	Investigating the Use of Distributional Semantic Models for Co-Hyponym Identification in Special Corpora Investigating the Use of Distributional Semantic Models for Co-Hyponym Identification in Special Corpora Add to Reading List Source URL: pars.ie Language: English - Date: 2015-09-10 14:48:18 Linguistics Hierarchy Hyponymy and hypernymy Knowledge representation Computational linguistics Structure Random indexing Logic Semantics Is-a Distributional semantics
54	Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2 Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2012-03-15 13:21:54 Computational complexity theory Logic Complexity classes Abstraction Metalogic Predicate logic Finite model theory IP FO Quantifier PSPACE-complete Model theory
55	Probabilistic Soft Logic for Semantic Textual Similarity Islam Beltagy§ Katrin Erk† Raymond Mooney§ § Department of Computer Science Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-01 12:33:24 Logic Philosophy Semantics Computational linguistics Bayesian statistics Markov networks Logical consequence Probabilistic logic Probabilistic soft logic Distributional semantics Markov logic network Inference
56	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
57	The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:55:46 Complexity classes Structural complexity theory FO Finite model theory Computational complexity theory IP Homomorphism NP Reduction Symbol P versus NP problem Model theory
58	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency
59	Microsoft Word - Final Report Safety Critical Eunite 2003.rtf Add to Reading List Source URL: www.eunite.org Language: English - Date: 2014-12-13 03:39:48 Artificial intelligence Computational neuroscience Computational statistics Neural networks Artificial neural network Mathematical psychology Intelligent control Fuzzy logic Software development process Biological neural network Control theory Cellular neural network
60	The Effect of Context on Semantic Similarity Measurement Carsten Keßler1 , Martin Raubal2 , and Krzysztof Janowicz1 1 2 Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:32 Statistical distance Information science Knowledge engineering Computational linguistics Semantic similarity Technical communication Description logic Similarity Ontology Semantic Web

UPDATE